toolbar: Use gdk_display_flush()
authorEmmanuele Bassi <ebassi@gnome.org>
Sun, 11 Feb 2018 15:38:20 +0000 (15:38 +0000)
committerEmmanuele Bassi <ebassi@gnome.org>
Sun, 11 Feb 2018 23:28:50 +0000 (23:28 +0000)
commit4e5ef1a377761bbf9257ca1129c0018710b8c084
tree7a768524f8e11fbbc2e340e10d6f19510a8688fc
parent81c0e7af0ed73898b2dab0868552927910f008e9
toolbar: Use gdk_display_flush()

Instead of the deprecated gdk_flush().
gtk/gtktoolbar.c